Logic programming and knowledge representation

Logic Programming and Knowledge Representation

In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in arti cial intelligence. We consider extensions of the language of de nite logic programs by classical (strong) negation, disjunction, and some modal operators and show how each of the added features extends the representational power of the language. We also discuss exte...

Knowledge Representation and Logic Programming

This issue focuses on several important themes related to research on logic programming and knowledge representation. Papers published in this volume are selected from those presented at LPNMR99—5th International Conference on Logic Programming and Non-Monotonic Reasoning, held in 1999 in El Paso, Texas. These papers are significant extensions of the respective versions presented at the confere...

Logic Programming for Knowledge Representation

Domain logic programming : theory and applications to scientific knowledge representation

Scienti c Knowledge Representation deals with systems {real or abstract{ that are representable by mathematical models. The eld is very rich, encompassing problems from the realms of physics, engineering and economics, among others. These problems demand both mathematical knowledge of object or situation behaviour as well as knowledge about the applicability and interaction of these various beh...

Logic programming and knowledge representation - The A-Prolog perspective